Designing a Secure Smart Card Operating System
نویسندگان
چکیده
The ever-increasing computational power of smart cards has made them feasible for applications like electronic passports and military id cards. However, these applications require a secure smart card operating system. In this paper we argue that smart card platforms pose additional security challenges than traditional computer platforms. We discuss our design for a secure smart card operating system, called Caernarvon, and show it addresses these challenges, such as secure application download, protecting cryptographic functions from potentially malicious applications, resolving covert channel issues, assuring both security and data integrity in the face of arbitrary power losses, etc.
منابع مشابه
Design of a Secure Smart Card Operating System for Pervasive Applications
The ever-increasing computational power of smart cards has made them feasible for use in pervasive applications such as electronic passports, military and public sector identification cards and cell-phone based financial and entertainment applications. However, such applications require a secure environment, which can only be provided with sufficient hardware and a secure operating system. In t...
متن کاملMulti-Application Smart Cards: Card Operating Systems and Application Security
Multi-Application Smart Cards are becoming more prevalent in society as the need to secure electronic transactions increases for both e-commerce and identity verification purposes. This paper studies two Multi-Application Smart Cards and their Operating Systems, namely the MULTOS Card and the Sun Java Card. This research provides an in-depth analysis of the efficacy of the mechanisms used to ve...
متن کاملLessons Learned Building the Caernarvon High- Assurance Smart Card Operating System
In this paper we share lessons learned in designing, developing, and testing features for a high-assurance smart card operating system. In particular, this paper describes our software design, development, and testing processes, and the advantages reaped from following established process guidelines. We describe the project impact experienced from external influences and count among them market...
متن کاملHardware and Software Symbiosis Helps Smart Card Evolution
The need to manage and secure a rapidly growing information network has focused increasing attention on smart card technology. Over the past decade, smart cards evolved from offering basic memory to complex systems with chips that incorporate powerful processing units with dedicated peripherals. This evolution enabled a wide range of applications. Smart card applications include financial trans...
متن کاملA Secure Communication Model for HCE based NFC Services
Near Field Communication (NFC) is a new promising short-range wireless communication technology that provides ease of use by triggering the communication with a simple touch and making the user feel secure by short distance communication. Most promising functionality of NFC technology is via card emulation operating mode that enables an NFC Smartphone to behave like a contactless smart card. By...
متن کامل